${\it as}$[$i$]?$a$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $i$ $<$z $\parallel$${\it as}$$\parallel$ then ${\it as}$[$i$] else $a$ fi